Valuations defined by Ostrowski nets
نویسندگان
چکیده
منابع مشابه
Well-Defined Stochastic Petri Nets
Formalisms based on stochastic Petri Nets (SPNs) can employ structural analysis to ensure that the underlying stochastic process is fully determined. The focus is on the detection of conflicts and confusions at the net level, but this might require to overspecify a given SPN model. The problem becomes even more critical when reward processes of interest derived from the basic underlying process...
متن کاملSome Remarks on Codes Defined by Petri Nets
With any Petri net we associated its CPN language which consists of all sequences of transitions which reach a marking with an empty place whereas all proper prefixes of the sequence lead to positive markings. We prove that any CPN language can be accepted by a partially blind multicounter machine, and that any partially blind multicounter language is the morphic image of some CPN language. As ...
متن کاملAlgebras defined by homomorphisms
Let $mathcal{R}$ be a commutative ring with identity, let $A$ and $B$ be two $mathcal{R}$-algebras and $varphi:Blongrightarrow A$ be an $mathcal{R}$-additive algebra homomorphism. We introduce a new algebra $Atimes_varphi B$, and give some basic properties of this algebra. Generalized $2$-cocycle derivations on $Atimes_varphi B$ are studied. Accordingly, $Atimes_varphi B$ is considered from th...
متن کاملQuotient BCI-algebras induced by pseudo-valuations
In this paper, we study pseudo-valuations on a BCI-algebra and obtain some related results. The relation between pseudo-valuations and ideals is investigated. We use a pseudo-metric induced by a pseudovaluation to introduce a congruence relation on a BCI-algebra. We define the quotient algebra induced by this relation and prove that it is also a BCI-algebra and study its properties.
متن کاملEvaluation Codes Defined by Plane Valuations at Infinity C. Galindo and F. Monserrat
We introduce the concept of δ-sequence. A δ-sequence ∆ generates a wellordered semigroup S in Z or R. We show how to construct (and compute parameters) for the dual code of any evaluation code associated with a weight function defined by ∆ from the polynomial ring in two indeterminates to a semigroup S as above. We prove that this is a simple procedure which can be understood by considering a p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1993
ISSN: 0022-4049
DOI: 10.1016/0022-4049(93)90042-r